#include <iostream>

using namespace std;

int count;

// 这个函数来自 support 文件
extern void write_extern();

int main(int argc, const char** argv) {
    count = 10;

    write_extern();

    return 0;
}